Learn English free online - how to pronounce word in English - English Learning Online- www.pronounceword.com






Propositional Calculus
  • 英语发声
  • 美语发声
  • [数] 命题演算
  • 网络释义

    1、[数]命题演算
    命题逻辑与谓词逻辑 命题逻辑(Propositional Logic或Sentential Logic)又称为命题演算(Propositional Calculus)是这样一个形式逻辑,其中,表达命题的公式能够被通过用逻辑联结词将原子命题组织而成,而且一个形式证明规则系统允许某个公式被...
    2、命题逻辑
    ... 命题逻辑 propositional calculus; propositional logic 拚命 desperateness 诫命 commandment ...
    3、命题统计
    ... propositional attitude 命题态度 propositional calculus 命题统计 propositional cohesiveness 命题的凝聚性 ...
    4、命题演算英语
    ...命名公用区英语 【计】 named common area命题演算英语 【计】 propositional calculus; statement calculus命令输入缓冲区英语 【计】 command input buffer ...

    短语

    completeness of propositional calculus命题演算的完备性

    medium propositional calculus中介命题演算

    Medium Logic Propositional Calculus中介逻辑命题演算

    assignment in propositional calculus命题演算指派

    modal propositional calculus s模态命题演算S

    fuzzy propositional calculus模糊命题演算

    propositional calculus form system命题演算形式系统

    专业释义

    数学
    • 命题演算

      参考来源 - 浅析弗雷格的真值理论
    电子、通信与自动控制技术
    • 命题演算
    计算机科学技术
    • 命题演算

    英英释义

    Propositional Calculus

    n.a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

    同义词:propositional logic




    英汉双解大词典

    propositional calculus

    • 1.  

      N(名词) the system of symbolic logic concerned only with the relations between propositions as wholes, taking no account of their internal structure 命题演算 → compare predicate calculus